$\forall$$C$:Realizer. $C$ $\subseteq$ $C$ \& ($\forall$$A$:Realizer. $C$ $\subseteq$ $A$ $\Rightarrow$ ($\forall$$B$:Realizer. $C$ $\subseteq$ $A$ $\oplus$ $B$ \& $C$ $\subseteq$ $B$ $\oplus$ $A$))